Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
831	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
832	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
833	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
834	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-11-07 03:44:28 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
835	Combining Task and Motion Planning is Not Always a Good Idea Fabien Lagriffoul, Lars Karlsson, Julien Bidot, Alessandro Saffiotti ¨ Orebro University Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:43 Geometry Motion planning Theoretical computer science Logic programming
836	Precedence-Inclusion Patterns and Relational Learning Frank J. Oles IBM T.J. Watson Research Center Yorktown Heights, NY Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 08:59:28 Inductive reasoning Problem solving Statistical inference Logic programming Finitary relation Science Knowledge Logic Reasoning Programming paradigms Epistemology
837	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
838	Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-06-03 18:41:49 Logic in computer science Functional languages Procedural programming languages Programming paradigms Type theory Denotational semantics ML Programming language Common Object Request Broker Architecture Software engineering Computing Theoretical computer science
839	g01 – Simple Calculations on Statistical Data g01ftc NAG C Library Function Document nag_deviates_landau (g01ftc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Science Applied mathematics Information theory Knowledge Constraint logic programming Computational science Numerical analysis Interpolation
840	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics

UPDATE